Optimal. Leaf size=63 \[ -\frac {2 d^5}{5 b (d \tan (a+b x))^{5/2}}-\frac {4 d^3}{b \sqrt {d \tan (a+b x)}}+\frac {2 d (d \tan (a+b x))^{3/2}}{3 b} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 63, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.095, Rules used = {2671, 276}
\begin {gather*} -\frac {2 d^5}{5 b (d \tan (a+b x))^{5/2}}-\frac {4 d^3}{b \sqrt {d \tan (a+b x)}}+\frac {2 d (d \tan (a+b x))^{3/2}}{3 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 276
Rule 2671
Rubi steps
\begin {align*} \int \csc ^6(a+b x) (d \tan (a+b x))^{5/2} \, dx &=\frac {d \text {Subst}\left (\int \frac {\left (d^2+x^2\right )^2}{x^{7/2}} \, dx,x,d \tan (a+b x)\right )}{b}\\ &=\frac {d \text {Subst}\left (\int \left (\frac {d^4}{x^{7/2}}+\frac {2 d^2}{x^{3/2}}+\sqrt {x}\right ) \, dx,x,d \tan (a+b x)\right )}{b}\\ &=-\frac {2 d^5}{5 b (d \tan (a+b x))^{5/2}}-\frac {4 d^3}{b \sqrt {d \tan (a+b x)}}+\frac {2 d (d \tan (a+b x))^{3/2}}{3 b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.24, size = 42, normalized size = 0.67 \begin {gather*} -\frac {2 d \left (-5+3 \cot ^2(a+b x) \left (9+\csc ^2(a+b x)\right )\right ) (d \tan (a+b x))^{3/2}}{15 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.36, size = 60, normalized size = 0.95
method | result | size |
default | \(\frac {2 \left (32 \left (\cos ^{4}\left (b x +a \right )\right )-40 \left (\cos ^{2}\left (b x +a \right )\right )+5\right ) \cos \left (b x +a \right ) \left (\frac {d \sin \left (b x +a \right )}{\cos \left (b x +a \right )}\right )^{\frac {5}{2}}}{15 b \sin \left (b x +a \right )^{5}}\) | \(60\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 56, normalized size = 0.89 \begin {gather*} \frac {2 \, d^{5} {\left (\frac {5 \, \left (d \tan \left (b x + a\right )\right )^{\frac {3}{2}}}{d^{4}} - \frac {3 \, {\left (10 \, d^{2} \tan \left (b x + a\right )^{2} + d^{2}\right )}}{\left (d \tan \left (b x + a\right )\right )^{\frac {5}{2}} d^{2}}\right )}}{15 \, b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.39, size = 82, normalized size = 1.30 \begin {gather*} -\frac {2 \, {\left (32 \, d^{2} \cos \left (b x + a\right )^{4} - 40 \, d^{2} \cos \left (b x + a\right )^{2} + 5 \, d^{2}\right )} \sqrt {\frac {d \sin \left (b x + a\right )}{\cos \left (b x + a\right )}}}{15 \, {\left (b \cos \left (b x + a\right )^{3} - b \cos \left (b x + a\right )\right )} \sin \left (b x + a\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.59, size = 70, normalized size = 1.11 \begin {gather*} \frac {2}{15} \, d^{2} {\left (\frac {5 \, \sqrt {d \tan \left (b x + a\right )} \tan \left (b x + a\right )}{b} - \frac {3 \, {\left (10 \, d^{3} \tan \left (b x + a\right )^{2} + d^{3}\right )}}{\sqrt {d \tan \left (b x + a\right )} b d^{2} \tan \left (b x + a\right )^{2}}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 5.46, size = 134, normalized size = 2.13 \begin {gather*} \frac {32\,d^2\,\sqrt {-\frac {d\,\left ({\mathrm {e}}^{a\,2{}\mathrm {i}+b\,x\,2{}\mathrm {i}}\,1{}\mathrm {i}-\mathrm {i}\right )}{{\mathrm {e}}^{a\,2{}\mathrm {i}+b\,x\,2{}\mathrm {i}}+1}}\,\left ({\mathrm {e}}^{a\,2{}\mathrm {i}+b\,x\,2{}\mathrm {i}}\,2{}\mathrm {i}+{\mathrm {e}}^{a\,4{}\mathrm {i}+b\,x\,4{}\mathrm {i}}\,3{}\mathrm {i}+{\mathrm {e}}^{a\,6{}\mathrm {i}+b\,x\,6{}\mathrm {i}}\,2{}\mathrm {i}-{\mathrm {e}}^{a\,8{}\mathrm {i}+b\,x\,8{}\mathrm {i}}\,2{}\mathrm {i}-2{}\mathrm {i}\right )}{15\,b\,{\left ({\mathrm {e}}^{a\,2{}\mathrm {i}+b\,x\,2{}\mathrm {i}}-1\right )}^3\,\left ({\mathrm {e}}^{a\,2{}\mathrm {i}+b\,x\,2{}\mathrm {i}}+1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________